Equivalence Semantics for Process Algebraic Language: Standard and Symbolic Bisimulation

نویسنده

  • Moonjoo Kim
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic

Johansson, M. 2010. Psi-calculi: a framework for mobile process calculi. Cook your own correct process calculus just add data and logic. Acta Universitatis Upsaliensis. Uppsala Dissertations from the Faculty of Science and Technology 94. 184 pp. Uppsala. ISBN 978-91-554-7818-6. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures, logical assertions, and...

متن کامل

Symbolic Approach to the Analysis of Security Protocols

The specification and validation of security protocols often requires viewing function calls – like encryption/decryption and the generation of fake messages – explicitly as actions within the process semantics. Following this approach, this paper introduces a symbolic framework based on value-passing processes able to handle symbolic values like fresh nonces, fresh keys, fake addresses and fak...

متن کامل

A Process-Algebraic Language for Probabilistic I/O Automata

We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, which requires that all input actions be enabled in every state of a PIOA, we augment the language with a set of type inference rules. We also equip our language with a formal operational semantics defined by a set of trans...

متن کامل

Symbolic Bisimulation for the Applied Pi Calculus

We propose a symbolic semantics for the finite applied pi calculus.The applied pi calculus is a variant of the pi calculus with extensions formodelling cryptographic protocols. By treating inputs symbolically, oursemantics avoids potentially infinite branching of execution trees due toinputs from the environment. Correctness is maintained by associatingwith each process a se...

متن کامل

Symbolic Bisimulation for the Applied Pi Calculus * Stéphanie Delaune

We propose a symbolic semantics for the finite applied pi calculus.The applied pi calculus is a variant of the pi calculus with extensions formodelling cryptographic protocols. By treating inputs symbolically, oursemantics avoids potentially infinite branching of execution trees due toinputs from the environment. Correctness is maintained by associatingwith each process a se...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998